Linear Regression Model with Histogram-Valued Variables S´onia Dias1∗ and Paula Brito2 1 INESC TEC - INESC Technology and Science and ESTG/IPVC - School of Technology and Management, Polytechnic Institute of Viana do

Source URL: www.dc.uba.ar

Run-Time Monitoring Environments for Real-Time and Safety Critical Systems Geoffrey Nelissen, Humberto Carvalho, David Pereira, Eduardo Tovar CISTER/INESC TEC, ISEP Polytechnic Institute of Porto Porto, Portugal

Source URL: 2016.rtas.org

WENTI - Web, Networks and Text Intelligence Special Track for the Ninth International Conference on Computer Science & Software Engineering – C3S2E’16

Source URL: confsys.encs.concordia.ca

• Geography of Europe
• Liberal democracies
• Member states of the Community of Portuguese Language Countries
• Member states of the United Nations
• Europe
• International relations
• INESC TEC
• Federal University of ABC
• Brazil
• Portugal
• Porto

Bidirectional Spreadsheet Formulas ⇤ HASLab, Nuno Macedo⇤ , Hugo Pacheco† , Nuno Rocha Sousa⇤ , Alcino Cunha⇤ INESC TEC & Universidade do Minho, Portugal {nfmmacedo,nrsousa,alcino}@di.uminho.pt

Source URL: wiki.di.uminho.pt

• Spreadsheet software
• Software
• Spreadsheet
• Logical spreadsheet
• Numbers
• Microsoft Excel
• Formula
• Invariant
• Lotus Improv
• Functional Database Model

Model Repair and Transformation with Echo Nuno Macedo, Tiago Guimar˜aes, Alcino Cunha HASLAB — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal {nfmmacedo,tguimaraes,alcino}@di.umi

Source URL: alfa.di.uminho.pt

• Unified Modeling Language
• Systems engineering
• Software engineering
• Computing
• Systems science
• Object Constraint Language
• Metamodeling
• Model-driven architecture
• Platform-specific model
• Object Process Methodology
• MMT
• QVT

SIGOPS European Senior WorkshopLisbon, Portugal July 12-13, 2005 Please complete this form and return by email, before June 12, to: _

Source URL: www.gsd.inesc-id.pt

• Economy
• Financial services
• Money
• Payment systems
• Lisbon
• INESC TEC
• INESC-ID
• CGD
• International Bank Account Number
• Credit card
• Caixa Geral de Depsitos
• Payment card number

PDF Document

Source URL: www.gsd.inesc-id.pt

• Payment systems
• E-commerce
• Lisbon
• INESC TEC
• INESC-ID
• CGD
• Credit card
• Caixa Geral de Depsitos
• Card security code

Relations as Executable Specifications: Taming Partiality and Non-determinism Using Invariants Nuno Macedo, Hugo Pacheco, and Alcino Cunha HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho,

Source URL: alfa.di.uminho.pt

Automatic Unbounded Verification of Alloy Specifications with Prover9 Alcino Cunha and Nuno Macedo HASLab — High Assurance Software Laboratory INESC TEC & Universidade do Minho, Braga, Portugal May 2011

Source URL: alfa.di.uminho.pt

Adaptive Model Rules from Data Streams Ezilda Almeida1 , Carlos Ferreira1 , and Jo˜ao Gama1,2 1 LIAAD-INESC TEC, University of Porto ,

Source URL: www.ecmlpkdd2013.org